ADT in Programming